<html>
<head><meta charset="utf-8"><title>rust semantics, scheme/lisp syntax ? · general · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/index.html">general</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rust.20semantics.2C.20scheme.2Flisp.20syntax.20.3F.html">rust semantics, scheme/lisp syntax ?</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="198519690"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rust%20semantics%2C%20scheme/lisp%20syntax%20%3F/near/198519690" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> zeroexcuses <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rust.20semantics.2C.20scheme.2Flisp.20syntax.20.3F.html#198519690">(May 23 2020 at 05:31)</a>:</h4>
<p>rust semantics, scheme/lisp syntax</p>
<p>Assuming that things ilke lifetime / generics can be made to work nicely with scheme/lisp syntax, anyone else want a rust-semantics, scheme/lisp syntax language ?</p>
<p>In particular, I believe it will loser the barrier to entry for writing macros (both lisp's defmacro &amp; scheme's hygienic macro system seem more powerful than macro_rules! and easier to use than procedural macros)</p>
<p>I suspect there are ways of using Rust that I am currently not using because procedural macros require lots of work.</p>



<a name="198544460"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rust%20semantics%2C%20scheme/lisp%20syntax%20%3F/near/198544460" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rust.20semantics.2C.20scheme.2Flisp.20syntax.20.3F.html#198544460">(May 23 2020 at 17:31)</a>:</h4>
<p>If you were going to go there, I would suggest just a straightforward translation to the Rust AST.</p>



<a name="198557145"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rust%20semantics%2C%20scheme/lisp%20syntax%20%3F/near/198557145" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rust.20semantics.2C.20scheme.2Flisp.20syntax.20.3F.html#198557145">(May 23 2020 at 23:41)</a>:</h4>
<p>"Rust++"</p>



<a name="198570902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rust%20semantics%2C%20scheme/lisp%20syntax%20%3F/near/198570902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rust.20semantics.2C.20scheme.2Flisp.20syntax.20.3F.html#198570902">(May 24 2020 at 07:25)</a>:</h4>
<p>"(Rust())"</p>



<a name="198571616"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rust%20semantics%2C%20scheme/lisp%20syntax%20%3F/near/198571616" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lokathor <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rust.20semantics.2C.20scheme.2Flisp.20syntax.20.3F.html#198571616">(May 24 2020 at 07:48)</a>:</h4>
<p>I wonder what the straightforward translation of generics/traits to a lisp-like language is</p>



<a name="198571734"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rust%20semantics%2C%20scheme/lisp%20syntax%20%3F/near/198571734" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rust.20semantics.2C.20scheme.2Flisp.20syntax.20.3F.html#198571734">(May 24 2020 at 07:52)</a>:</h4>
<p>we'd have to look at a typed lisp dialect for that (AFAIK most of them are untyped)</p>



<a name="198882262"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rust%20semantics%2C%20scheme/lisp%20syntax%20%3F/near/198882262" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rust.20semantics.2C.20scheme.2Flisp.20syntax.20.3F.html#198882262">(May 27 2020 at 12:14)</a>:</h4>
<p>FX is one of my favs: <a href="https://apps.dtic.mil/dtic/tr/fulltext/u2/a256798.pdf">https://apps.dtic.mil/dtic/tr/fulltext/u2/a256798.pdf</a></p>



<a name="198882280"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rust%20semantics%2C%20scheme/lisp%20syntax%20%3F/near/198882280" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rust.20semantics.2C.20scheme.2Flisp.20syntax.20.3F.html#198882280">(May 27 2020 at 12:14)</a>:</h4>
<p>But obviously samth’s Typed Scheme is way way way more successful</p>



<a name="198882299"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rust%20semantics%2C%20scheme/lisp%20syntax%20%3F/near/198882299" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rust.20semantics.2C.20scheme.2Flisp.20syntax.20.3F.html#198882299">(May 27 2020 at 12:15)</a>:</h4>
<p>Or sorry, Typed Racket</p>



<a name="198884036"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rust%20semantics%2C%20scheme/lisp%20syntax%20%3F/near/198884036" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rust.20semantics.2C.20scheme.2Flisp.20syntax.20.3F.html#198884036">(May 27 2020 at 12:35)</a>:</h4>
<p>At the same time, I’m with <span class="user-mention" data-user-id="239881">@Josh Triplett</span> : I’d “just” add an S-exp variant of the current AST. Unless you’re going to design a new language variant (with new semantics rather than merely new syntax), I don’t think there’s all that much to do to accomplish that.</p>



<a name="198957294"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rust%20semantics%2C%20scheme/lisp%20syntax%20%3F/near/198957294" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> isHavvy <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rust.20semantics.2C.20scheme.2Flisp.20syntax.20.3F.html#198957294">(May 27 2020 at 21:42)</a>:</h4>
<p>You can even implement the S-exp variant syntax as a macro.</p>



<a name="203565373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rust%20semantics%2C%20scheme/lisp%20syntax%20%3F/near/203565373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Gray Jack <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rust.20semantics.2C.20scheme.2Flisp.20syntax.20.3F.html#203565373">(Jul 10 2020 at 22:40)</a>:</h4>
<p>There is Carp</p>



<a name="203565414"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/rust%20semantics%2C%20scheme/lisp%20syntax%20%3F/near/203565414" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Gray Jack <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/rust.20semantics.2C.20scheme.2Flisp.20syntax.20.3F.html#203565414">(Jul 10 2020 at 22:41)</a>:</h4>
<p><a href="https://github.com/carp-lang/Carp">https://github.com/carp-lang/Carp</a></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>